Koha online catalog › Results of search for 'su:"Automatic theorem proving"'

	1.	Symbolic logic and mechanical theorem proving by Chang, Chin-Liang \| Lee, Richard Char-Tung. Material type: Book; Format: print ; Literary form: Not fiction Publisher: San Diego: Academic Press, 1973Availability: Items available for loan: [Call number: 511.3 CHA] (1). Place hold
	2.	First-order logic and automated theorem proving by Fitting, Melvin. Edition: 2nd ed.Material type: Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer-Verlag, 1996Availability: Items available for loan: [Call number: 511.3 FIT] (1). Place hold

Koha online